A Formal Object - Oriented CASE Tool for theDevelopment of Complex

An increasing number of CASE tools based on object-oriented methods (OOMs) are appearing in the marketplace. Despite their good qualities, OOMs produce models that are not amenable to rigorous semantic analysis. This problem can be attributed to the lack of rm semantic basis for the modeling notations and concepts such as those found in formal methods. Formal and graphical informal analysis techniques complement each other when they are integrated appropriately. Formal techniques facilitate rigorous reasoning about modeled behavior, while graphical informal techniques facilitate the creation of models that are concise, and easier to understand. In this paper we describe the current status of our work on developing an environment for the speciication and the analysis of complex systems. This environment, called FuZE, supports the integration of Fusion analysis techniques and the more formal Z speciication language. This new CASE tool is one example of the successful integration of two diierent speciication approaches into a rigorous development environment.